منابع مشابه
A general Mitchell style iteration
We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on
متن کاملExpansion-Passing Style: A General Macro Mechanism
The traditional Lisp macro expansion facility inhibits several important forms of expansion control. These include selective expansion of subexpressions, expansion of subexpressions using modified expansion functions, and expansion of application and variable expressions. Furthermore, the expansion algorithm must treat every special form as a separate case. The result is limited expressive powe...
متن کاملConvergence of the multistage variational iteration method for solving a general system of ordinary differential equations
In this paper, the multistage variational iteration method is implemented to solve a general form of the system of first-order differential equations. The convergence of the proposed method is given. To illustrate the proposed method, it is applied to a model for HIV infection of CD4+ T cells and the numerical results are compared with those of a recently proposed method.
متن کاملGeneral Iteration graphs and Boolean automata circuits
This article is set in the field of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to update the states of every element. When this is done deterministically, at each time step of a discretised time flow and according to a predefined order, we say that the network is updated according to a blocksequential...
متن کاملMcQuatt Fraser Mitchell
This document gives brief descriptions for a number of Machine Discovery and Knowledge Based Refinement Systems which have recently been developed. Further, it gives an indication of their application domains. The systems described are: DaViCAND, MedMine, REFINER+, RETAX, STALKER and TIGON. Principal Contact: Professor Derek Sleeman Phone: +44(0)1224 272288 Fax: +44(0)1224 273422 email: dsleema...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2008
ISSN: 0942-5616
DOI: 10.1002/malq.200710080